$\forall$$w$:World, $e$:(:Id $\times$ $\mathbb{N}$). w{-}pred($w$;$e$) $\in$ (?E)